Postface: On “hidden structures” and “circular reasoning”
نویسندگان
چکیده
منابع مشابه
Circular reasoning
Good informal arguments offer justification for their conclusions. They go wrong if the justifications double back, rendering the arguments circular. Circularity, however, is not necessarily a single property of an argument, but may depend on (a) whether the argument repeats an earlier claim, (b) whether the repetition occurs within the same line of justification, and (c) whether the claim is p...
متن کاملHierarchical Circular Compositional Reasoning
We describe a composition rule for hierarchically composed components that may involve circular reasoning between the components. It is similar to previous work by McMillan, specialized to component level reasoning. In contrast to McMillan’s work, our composition rule can be used in provers that only support safety properties (e.g. kinduction model checkers) as long as the system and component ...
متن کاملReasoning About Hidden Mechanisms
1 describe an approach to the problem of forming hypotheses about hidden mechanisms wthin devices — the "black box" problem for physical systems. The approach involves enumerating a set of physical and causal conslrainLs and enumerating difference causal structures for devices, placing an ordering on these hypothesis types, and carefully controlling the generation of hypotheses. I relate in det...
متن کاملCircular Compositional Reasoning about Liveness
Compositional proofs about systems of many components often involve apparently circular arguments. That is, correctness of component A must be assumed when verifying component B, and vice versa. The apparent circularity of such arguments can be resolved by induction over time. However, previous methods for such circular compositional reasoning apply only to safety properties. This paper present...
متن کاملPair hidden Markov models on tree structures
MOTIVATION Computationally identifying non-coding RNA regions on the genome has much scope for investigation and is essentially harder than gene-finding problems for protein-coding regions. Since comparative sequence analysis is effective for non-coding RNA detection, efficient computational methods are expected for structural alignments of RNA sequences. On the other hand, Hidden Markov Models...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Accreditation and Quality Assurance
سال: 2016
ISSN: 0949-1775,1432-0517
DOI: 10.1007/s00769-016-1216-x